#include <linux/list.h>
#include <linux/sched/rt.h>
#include "../inc/sched.h"

int update_rt_rq_load_avg(u64 now, struct rq *rq, int running)
{
	return 0;
}

u64 rq_clock_pelt(struct rq *rq)
{
	return 0;
}

void update_idle_cfs_rq_clock_pelt(struct cfs_rq *cfs_rq) { }
